$\forall$$x$, $y$:$\mathbb{Z}$. ($\uparrow$$x$ $<$z $y$) $\Leftarrow\!\Rightarrow$ ($x$ $<$ $y$)